3

A Simple Nominal Type Theory

Year:
2009
Language:
english
File:
PDF, 339 KB
english, 2009
4

Provenance in Databases: Why, How, and Where

Year:
2007
Language:
english
File:
PDF, 588 KB
english, 2007
5

Special Issue on Programming Languages for Big Data Editorial

Year:
2018
Language:
english
File:
PDF, 44 KB
english, 2018
10

10.1038/23078

Year:
1999
Language:
english
File:
PDF, 371 KB
english, 1999
11

10.1038/23072

Year:
1999
Language:
english
File:
PDF, 574 KB
english, 1999
15

Diversification within embryonic chick somites: Differential response to notochord

Year:
1981
Language:
english
File:
PDF, 5.48 MB
english, 1981
16

Completeness and Herbrand Theorems for Nominal Logic

Year:
2006
Language:
english
File:
PDF, 1.77 MB
english, 2006
17

The concept and the practices of discipline in contemporary organizational life

Year:
1994
Language:
english
File:
PDF, 1.87 MB
english, 1994
18

Strength Parameters for Bearing Capacity of Sand

Year:
1988
Language:
english
File:
PDF, 361 KB
english, 1988
19

Stability of Leaning Towers

Year:
1991
Language:
english
File:
PDF, 1.64 MB
english, 1991
21

Completeness and Herbrand theorems for nominal logic

Year:
2006
Language:
english
File:
PDF, 1.50 MB
english, 2006
23

Revisiting “forward node-selecting queries over trees”

Year:
2013
Language:
english
File:
PDF, 398 KB
english, 2013
24

The Intentionality of Desire and the Intentions of People

Year:
1978
Language:
english
File:
PDF, 810 KB
english, 1978
27

4850

Year:
1960
Language:
english
File:
PDF, 256 KB
english, 1960
29

αCheck: A mechanized metatheory model checker

Year:
2017
Language:
english
File:
PDF, 984 KB
english, 2017
40

A new equation of scattering theory and its use in inverse scattering

Year:
1989
Language:
english
File:
PDF, 559 KB
english, 1989
46

Lost in the ozone: Population growth and ozone in California

Year:
2000
Language:
english
File:
PDF, 1.16 MB
english, 2000
48

Equivariant Unification

Year:
2010
Language:
english
File:
PDF, 946 KB
english, 2010